convert int into char in c